<body>
	Provides two codecs for printing simple solved forms as terms.
</body>